Derivable Type Classes
نویسندگان
چکیده
Generi programming allows you to write a fun tion on e, and use it many times at di erent types. A lot of good foundational work on generi programming has been done. The goal of this paper is to propose a pra ti al way of supporting generi programming within the Haskell language, without radi ally hanging the language or its type system. The key idea is to present generi programming as a ri her language in whi h to write default method de nitions in a lass de laration.
منابع مشابه
Integration of Concurrency Control in a Language with Subtyping and Subclassing
This paper describes the integration of concurrency control in BALLOON, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and ...
متن کاملTransforming Linear Context-Free Rewriting Systems into Minimalist Grammars
The type of a minimalist grammar (MG) as introduced by Stabler [11, 12] provides an attempt of a rigorous algebraic formalization of the new perspectives adopted within the linguistic framework of transformational grammar due to the change from GB–theory to minimalism. Michaelis [6] has shown that MGs constitute a subclass of mildly context–sensitive grammars in the sense that for each MG there...
متن کاملA Sociopragmatic Study of the Offer Speech Act in Persian
The present study aimed to identify strategies used to realize the speech act of offerin Persian. To do so, 195 male and female native Persian speakers were selected fromdiverse age ranges, educational backgrounds, and social classes, and were assigned a36-item Discourse Completion Task (DCT) to elicit the speech act of offer. Thirtyfield workers also recorded naturally occurring interactions c...
متن کاملLeft derivable or Jordan left derivable mappings on Banach algebras
Let $mathcal{A}$ be a unital Banach algebra, $mathcal{M}$ be a left $mathcal{A}$-module, and $W$ in $mathcal{Z}(mathcal{A})$ be a left separating point of $mathcal{M}$. We show that if $mathcal{M}$ is a unital left $mathcal{A}$-module and $delta$ is a linear mapping from $mathcal{A}$ into $mathcal{M}$, then the following four conditions are equivalent: (i) $delta$ is a Jordan left de...
متن کاملImplications of a Revised Perspective on Minimalist Grammars
The type of a minimalist grammar (MG) as introduced by Stabler [17] provides an attempt of a rigorous formalization of the perspectives adopted nowadays within the linguistic framework of transformational grammar. As shown in [11], MGs constitute a weakly equivalent subclass of linear context–free rewriting systems (LCFRSs) in the sense of Vijay–Shanker et al. [21]. Independent work of Harkema ...
متن کاملIntegration of Concurrency Control in a Language with
This paper describes the integration of concurrency control in Balloon, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface speciications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 41 شماره
صفحات -
تاریخ انتشار 2000